home *** CD-ROM | disk | FTP | other *** search
/ C/C++ Users Group Library 1996 July / C-C++ Users Group Library July 1996.iso / vol_200 / 297_01 / make.spr < prev    next >
Encoding:
Text File  |  1980-01-01  |  2.4 KB  |  105 lines
  1. /* make.spr */
  2. /* The make utility -an unusual application of Prolog */
  3. /* just to make you think */
  4. /* not only this is unfinished but it requires you define 
  5.    a new builtin to compare file dates 
  6.  */
  7. ((make)
  8.  (explicit_rule Targets Sources Actions)
  9.  (cut)
  10.  (make_all Sources)
  11.  (sources_more_recent Sources Targets)
  12.  (execute_actions  Actions)
  13. )
  14. ((make Target)
  15.  (explicit_rule Targets Sources Actions)
  16.  (member Target Targets)
  17.  (cut)
  18.  (make_all Sources)
  19.  (sources_more_recent Sources Targets)
  20.  (execute Actions)
  21. )
  22. ((make Target)
  23.  (implicit_rule Target_Type Source_Type Implicit_Actions)
  24.  (file_type Target Target_Type)
  25.  (determine_source Target Source_Type Source)
  26.  (make Source)
  27.  (build_actions Implicit_Actions Target Actions)
  28.  (execute_actions Actions)
  29. )
  30. ((make Target)
  31.  (files_exists Targets)
  32.  (cut)
  33. )
  34. ((make Targets)
  35.  (writes "Don't know how to make ")
  36.  (display Targets)
  37.  (nl)
  38. )
  39.  
  40. ((rule Targets Sources Actions)
  41.  (explicit_rule Targets Sources Actions)
  42.  (cut)
  43. )
  44. ((rule Targets Sources Actions)
  45.  (implicit_rule Target_Type Source_Type IR_Actions)
  46.  (file_type 
  47.  /* complete this !!*/
  48. )
  49.  
  50. ((sources_more_recent (Source | Rest_Sources) Targets)
  51.  (one_target_more_old Source Target)
  52. )
  53. ((sources_more_recent (Source | Rest_Sources) Targets)
  54.  (sources_more_recent Rest_Sources Targets)
  55. ) 
  56. ((one_target_more_old Source (Target | Rest_Targets))
  57.  (file_more_recent Source Target)
  58.  (cut)
  59. )
  60. ((one_target_more_old Source (Target | Rest_Targets))
  61.  (one_target_more_old Source Rest_Targets)
  62. )
  63.  
  64. ((execute_actions (Action | Rest_Actions))
  65.  (execute_action Action)
  66.  (execute_actions Rest_Actions
  67. )
  68. (execute_actions ())
  69.  
  70. ((execute_action String_List)
  71.  (build_command String_List Command)
  72.  (system Command Return_Val)
  73.  (handle_return_val Command Return_Val)
  74. )
  75. ((build_command (String | Rest_Strings) Command)
  76.  (build_command1 (String | Rest_Strings) "" Command)/* a little wasteful */
  77. )
  78. ((build_command1 (String | Rest_Strings) String_so_far Command)
  79.  (string_concat String_so_far String String2)
  80.  (build_command1 Rest_Strings String2 Command)
  81. )
  82. (build_command () Command Command)
  83.  
  84. ((handle_return_val _ 0)(cut))
  85. ((handle_return_val Command N)
  86.  (writes Command)
  87.  (writes " failed")(nl)
  88.  (abort)
  89. )
  90.  
  91. ((make_all (File |Rest_Files))
  92.  (make File)
  93.  (make_all Rest_files)
  94. )
  95. (make_all ())
  96.  
  97. /* sample rules */
  98.  
  99. ((implict_rule "o" "c")
  100.  (cflags Flags)
  101.  (cc Flags "-c" )
  102. )
  103.  
  104. /* end of file */
  105.